Jaśkowski's criterion and three-valued paraconsistent logics
نویسندگان
چکیده
منابع مشابه
Maximally Paraconsistent Three-Valued Logics
Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as possible. In this paper, we introduce the strongest possible notion of maximal paraconsistency, and investigate it in the context of logics that are based on deterministic or non-deterministic three-valued matrices. We ...
متن کاملFrom paraconsistent three-valued logics to multiple-source epistemic logic
Several interpretations can be given to the third truth value in three-valued logics. Here, we consider the case when it refers to the epistemic notion of contradictory, or both true and false at the same time. We study several paraconsistent threevalued logics that carry this concern and show that they can be translated into a fragment of a simple epistemic logic where modalities can only appe...
متن کاملParaconsistent Resolution for Four-valued Description Logics
In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a logically consistent set of disjunctive datalog rules. We achieve this in two steps: First we give a simple way to make anyALC based ontology 4-valued satisfiable, and then we study a sound and complete paraconsistent ordered-resolution decision procedure for our 4-valuedALC. Our approach can be...
متن کاملFour-valued Logics for Paraconsistent Reasoning
A drawback of many logics for reasoning on Semantic Web ontologies is the Principle of Explosion in case of inconsistent data. Considering a four-valued semantics, inconsistencies can be tolerated such that paraconsistency is obtained. We extend Belnap’s four-valued logic to a four-valued first-order logic with implication and equality, and we develop a method for translating formulas to a repr...
متن کاملA New Three-Valued Paraconsistent Logic
Paraconsistent logic and three-valued semantics: The term Paraconsistent was first used by the Peruvian philosopher Francisco Miró Quesada in the Third Latin America Conference on Mathematical Logic in 1976. A logic is called paraconsistent if there are formulas φ and ψ such that {φ,¬φ} 0 ψ. Besides other semantics, the three-valued semantics of (paraconsistent) logics have always received spec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2004
ISSN: 2300-9802,1425-3305
DOI: 10.12775/llp.1999.006